Equivalence Rules for UML Class Diagrams
نویسندگان
چکیده
UML is a complex language with many modeling features. Especially the modeling of static structures with class diagrams is supported by a rich set of description primitives. We show how to transfrom UML class diagrams involving cardinality constraints, qualifiers, association classes, aggregations, compositions, and generalizations into equivalent UML class diagrams employing only n-ary associations and OCL constraints. This provides a better understanding of UML features. By explaining more complex features in terms of basic ones, we suggest an easy way users can gradually extend the set of UML elements they commonly apply in the modeling process.
منابع مشابه
Removing Redundancies and Deducing Equivalences in UML Class Diagrams
The emerging Model-driven Engineering approach puts models at the heart of the software development process. The Class Diagram language is central within the UML. Automated support for class diagrams involves identification and repair of correctness and quality problems. This paper presents methods and rules for improving class diagram quality. The paper introduces formal semantics for class di...
متن کاملDesign of Rules for Transforming UML Sequence Diagrams into Java code
UML is a modeling language that most developers employed during design phase. UML provides various types of diagrams used for specifying both the structure and the behavior of systems. During the development process, models specified by these diagrams are eventually transformed into corresponding code. Although there are many researches studied about transforming UML models into code, they disc...
متن کاملA Model Driven Approach for the Atomated Analysis of UML Class Diagrams
The Unified Modeling Language (UML) is widely considered as the defacto standard for the design of Object Oriented systems. UML class diagrams are used to depict the static structure of a system with its entities and the relationships between them. The Object Constraint Language (OCL) is a textual language based on first-order logic and can be used to define constraints on the elements of class...
متن کاملOn Class Diagrams, Crossings and Metrics
eichelbe@i n f o r m a t i k . u n i w u e r z b u r g . d e Abstract. UML class diagrams, internationally specified and widely used in software engineering, are a great challenge in automatic drawing of graphs. Due to the complex nature of UML class diagrams and the requirements of software engineers, who need to read these diagrams, layout rules and algorithms for general graphs can not be ap...
متن کاملDetecting Semantic Equivalence in UML Class Diagrams
When developing a system in Model-driven Engineering (MDE), developers change the same diagram in parallel. These changes generate different versions that may conflict. Conflicts can be syntactic, related to the structure of the diagram, or semantic, related to the meaning of the diagram. The detection of semantic conflicts in diagrams should take into consideration both the syntax and semantic...
متن کامل